桂盛霖
-
副教授
硕士生导师
- 性别：男
- 毕业院校：电子科技大学
- 学历：博士研究生毕业
- 学位：工学博士学位
- 在职信息：在职人员
- 所在单位：计算机科学与工程学院（网络空间安全学院）
- 办公地点：清水河校区主楼 B1 307
访问量：
-
[1]
Lei Luo,
Shenglin Gui,
and Liang Ma,
Limeng Yin. Research of automatic code generating technology based on AADL
-
[2]
雷航
桂盛霖，
基于能耗限制的松弛任务实时调度算法
-
[3]
Lijie Wang,
Yun Li,
Lei Luo,
and Shenglin Gui,
Formal Schedulability Analysis and Simulation for AADL
-
[4]
Yun Li,
Limeng Yin,
Lei Luo,
Liang Ma,
and Shenglin Gui,
UCaG: An Automatic C Code Generator for AADL Based Upon DeltaOS
-
[5]
Shaopeng Lu,
Fulei Guo,
Qian Liu,
Lei Luo,
and Shenglin Gui,
UCaS: a schedulability analysis tool for AADL models
-
[6]
罗惠琼，
罗蕾，
桂盛霖，
刘雪琴，
AADL模型代码自动生成技术研究
-
[7]
Shenglin Gui,
Rong Gong,
Lei Luo,
and Geng Chen,
Dependability analysis for AADL models by PVS
-
[8]
尹立孟，
马亮，
桂盛霖，
陶勇，
AADL模型的代码自动生成及集成技术
-
[9]
罗蕾，
李允，
桂盛霖，
刘倩，
基于UPPAAL的AADL模型可调度性验证
-
[10]
罗蕾，
李允，
桂盛霖，
陆少朋，
LambdaMDE：基于模型的嵌入式开发环境
-
[11]
Lei Luo
and Shenglin Gui,
Sensen Tang and Yang Meng. Optimal static partition configuration in ARINC653 system
-
[12]
Lei Luo
and Shenglin Gui,
End-to-end schedulability analysis for bi-directional real-time multistage pipeline
-
[13]
Yun Li,
Jianhua Xu,
Miao Yu,
Lei Luo,
and Shenglin Gui,
Schedulability analysis for distributed systems using network of action automata and environment automata
-
[14]
徐建华，
于淼，
李允，
罗蕾，
桂盛霖，
基于自动机理论的分布式实时调度分析工具
-
[15]
罗蕾，
陈更，
桂盛霖，
李允，
嵌入式实时软件模型开发环境研究
-
[16]
Lei Luo
and Shenglin Gui,
Reliability Analysis of Task Model in Real-Time Fault-Tolerant Systems
-
[17]
Lei Luo
and Shenglin Gui,
Reliability Analysis of Real-Time Fault-Tolerant Task Models
